Formally Modeling a Metal Processing Plant and its Closed Loop Specifications
نویسنده
چکیده
We present a case study on automatic synthesis of control software from formal speciications for an industrial automation control system. Our aim is to compare the eeectiveness (i.e. design eeort and controller quality) of automatic controller synthesis from closed loop formal speciications with that of manual controller design followed by automatic veriication. The system to be controlled (plant) models a metal processing facility near Karlsruhe. We succeeded in automatically generating C code implementing a (correct by construction) embedded controller for such a plant from closed loop formal specii-cations. Our experimental results show that for industrial automation control systems automatic synthesis is a viable and prootable (especially as far as design eeort is concerned) alternative to manual design followed by automatic veriication.
منابع مشابه
Formally Modeling a Metal Processing Plant and its Closed Loop Speci cations
We present a case study on automatic synthesis of control software from formal speci cations for an industrial automation control system. Our aim is to compare the e ectiveness (i.e. design e ort and controller quality) of automatic controller synthesis from closed loop formal speci cations with that of manual controller design followed by automatic veri cation. The system to be controlled (pla...
متن کاملNew mathematical modeling for a location–routing–inventory problem in a multi-period closed-loop supply chain in a car industry
This paper studies a location–routing–inventory problem in a multi-period closed-loop supply chain with multiple suppliers, producers, distribution centers, customers, collection centers, recovery, and recycling centers. In this supply chain, centers are multiple levels, a price increase factor is considered for operational costs at centers, inventory and shortage (including lost sales and back...
متن کاملDynamic Load Carrying Capacity of Mobile-Base Flexible-Link Manipulators: Feedback Linearization Control Approach
This paper focuses on the effects of closed- control on the calculation of the dynamic load carrying capacity (DLCC) for mobile-base flexible-link manipulators. In previously proposed methods in the literature of DLCC calculation in flexible robots, an open-loop control scheme is assumed, whereas in reality, robot control is achieved via closed loop approaches which could render the calculated ...
متن کاملSensitivity analysis of CRA based controllers in fractional order systems
This paper focuses on robust performance analysis of a closed loop fractional order system through a sensitivity approach. The characteristic ratio assignment method is selected to attain a desired closed loop transient response. Then, we compute the sensitivity of such a desired transfer function with respect to its characteristic ratio and we explore its specifications. The relation between t...
متن کاملSustainability in paper industry closed-loop supply chain (case study: East Azerbaijan province, Iran)
Governments and customers are forcing the paper manufacturers to become more sustainable. Accordingly, there still exists a gap in the quantitative modeling of these issues. In this paper, this gap is covered through simultaneously considering economical, environmental and social impacts in the paper closed-loop supply chain network design. The proposed multi-objective, multi-echelon, multi-pro...
متن کامل